Listing 1 - 10 of 18 | << page >> |
Sort by
|
Choose an application
Computer science --- Mathematical logic --- Model theory --- Computational complexity --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Complexity, Computational --- Electronic data processing --- Machine theory --- Logic, Symbolic and mathematical
Choose an application
Logicians --- Philosophers --- Biography --- Gödel, Kurt. --- Gkentel, Kourt --- גדל --- Gödel, Kurt --- Philosophy of science --- Gödel, Kurt, --- Godel, Kurt --- Biography. --- Logique --- Histoire --- Logicians - United States - Biography --- Logicians - Austria - Biography --- Histoire des mathematiques --- 20e siecle
Choose an application
The central theme of Green Plants, first published in 2000, is the astonishing diversity of forms found in the plant kingdom, from the simplicity of prokaryotic algae to the myriad complexities of flowering plants. The book is arranged according to generally accepted classification schemes, beginning with algae (prokaryotic and eukaryotic) and moving through mosses, liverworts, fern allies, ferns and gymnosperms to flowering plants. Copiously illustrated throughout, it provides a concise account of all algae and land plants, with information on topics from cellular structure to life cycles and reproduction. The authors maintain a refreshingly cautious approach in discussions of possible phylogenetic relationships and include newly emerging information on features of plants known only as fossils. This edition has been completely updated to reflect current views on the origin of the major groups of plants, providing a resource for students of botany, and for researchers needing a comprehensive reference to the plant kingdom.
Botany. --- Plants --- Evolution. --- Variation. --- Botany --- Plant species --- Plant variation --- Plant evolution --- Botanical classification --- Botanical systematics --- Botanical taxonomy --- Classification --- Plant biosystematics --- Plant classification --- Plant systematics --- Plant taxonomy --- Systematic botany --- Systematics (Botany) --- Taxonomy, Plant --- Botanical science --- Phytobiology --- Phytography --- Phytology --- Plant biology --- Plant science --- Variation --- Plant diversity --- Plant genetics --- Variation (Biology) --- Evolution (Biology) --- Plant taxonomists --- Biology --- Natural history --- Phylogeny --- Floristic botany --- Evolution --- Botan. systematics, taxonomy, nomencl. --- Plant genetics. Plant evolution --- Phanerogams
Choose an application
Botany --- Botany. --- Plante sauvage --- Wild plants --- Plante de culture --- Crops --- Évolution --- evolution --- Anatomie végétale --- plant anatomy --- Biologie --- biology --- Morphologie végétale --- Plant morphology --- Physiologie végétale --- Plant physiology --- Biodiversité --- Biodiversity --- Population végétale --- plant population --- Dynamique des populations --- population dynamics --- Taxonomie --- taxonomy --- Classification --- classification --- Botanique --- 581 --- 58 --- Plantkunde --- Botanical science --- Phytobiology --- Phytography --- Phytology --- Plant biology --- Plant science --- Biology --- Natural history --- Plants --- General botany. --- 581 General botany --- 581 General botany. --- General botany --- evolution. --- classification. --- Floristic botany --- PLANT BIOLOGY --- PLANT CELLS --- PLANT GENETICS --- PLANTS --- DIVERSITY --- ANGIOSPERMS --- VEGETATIVE DEVELOPMENT --- GYMNOSPERMS --- PLANT ECOLOGY --- AGRICULTURE --- METABOLISM --- EVOLUTION --- STRUCTURES --- PHYSIOLOGY
Choose an application
Botany --- Botany. --- Plant and Crop Sciences. Botany --- Botany (General). --- plantkunde --- 582.1 --- #ABIB:vcbt --- 58 <035> --- 58 <035> Botany--Grote handboeken. Compendia --- Botany--Grote handboeken. Compendia --- Botanical science --- Phytobiology --- Phytography --- Phytology --- Plant biology --- Plant science --- Biology --- Natural history --- Plants --- Inleidingen - Hand- en leerboeken Plantkunde --- 582 --- Biologie --- Cellen --- Ecologie --- Ecosysteem --- Energie --- Erfelijkheid --- Fotosynthese --- Meiose --- Membraan --- Planten --- Zaadplanten --- Plantkunde ; algemeen --- Plant Physiological Phenomena --- Botanique --- Plantkunde --- Floristic botany --- PLANT BIOLOGY --- PLANT CELLS --- PLANT METABOLISM --- ENERGY FLOW --- PLANT MEMBRANES --- PLANT GENETICS --- EVOLUTION --- BIODIVERSITY --- ANGIOSPERMS --- PLANT GROWTH --- PLANT HORMONES --- PLANT ECOLOGY --- WATER BALANCE --- PLANT PHYSIOLOGY --- TEXTBOOKS --- STRUCTURES --- DEVELOPMENT
Choose an application
The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.
Computer science --- Logic, Symbolic and mathematical --- Graphic methods --- Mathematics --- Graphic methods. --- Logic. --- Mathematical Sciences --- General and Others --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical - Graphic methods
Choose an application
Psychology --- Social sciences --- Psychological literature --- Social science literature --- Authorship --- Publishing --- Naslagwerken --- Publicatienormen. --- publicatienormen. --- Bronvermelding. --- Academische teksten --- Bibliografische referenties. --- Elektronische bronnen --- Rapporten --- Research --- Scripties. --- Engelse taal --- stijl. --- bibliografische referenties. --- Engelse taal. --- handboeken. --- Psychologie --- Rédaction de rapports, notes et comptes rendus --- Art d'écrire --- schrijven --- Science --- zakelijk schrijven --- writing [processes] --- 002 --- Citeren --- Refereren --- APA-normen --- APA --- 001.818 --- Documentatie : refereren --- Wetenschappelijke tekst : schrijven --- 001.81 --- 450.8 --- APA (American Psychological Association) --- citeren en refereren --- literatuurstudie --- 031 --- citeren --- informatievaardigheden --- rapporteren --- refereren --- #SBIB:02G --- #SBIB:303H0 --- #KVHA:Schrijfvaardigheid; Engels --- #KVHA:Stijlboek; Engels --- #KVHA:Stijlboek; psychologie --- #KVHA:Taalzuivering; Engels --- #KVHB:APA-regels --- #KVHB:Bibliografische referenties --- #KVHB:Kantoor TP --- 001.891 --- 159.9.078 --- 159.9.078 Instrumentarium van het psychologisch onderzoek --- Instrumentarium van het psychologisch onderzoek --- 001.81 Techniek van de intellectuele arbeid --- Techniek van de intellectuele arbeid --- 001.891 Wetenschappelijk onderzoek. Research. Onderzoekmethoden --- Wetenschappelijk onderzoek. Research. Onderzoekmethoden --- Behavioral sciences --- Human sciences --- Sciences, Social --- Social science --- Social studies --- Civilization --- Psychology literature --- techniek van de wetenschappelijke arbeid --- Methodiek van het studeren --- informatie en documentatie --- Bibliotheekwezen --- Methoden in de sociale wetenschappen: algemeen --- Rédaction de rapports, notes et comptes rendus. --- Art d'écrire. --- Rapporteren --- American Psychological Association --- Onderzoek --- Wetenschappelijk onderzoek --- #KVHA:Teksttypologie --- #KVHA:APA-regels --- #KVHA:Citeren --- Natuurwetenschappen --- Ontwikkeling --- Leerlijn --- Stijl. --- Handboeken. --- Onderzoek (wetenschap) --- Psychology - Authorship - Style manuals --- Social sciences - Authorship - Style manuals --- Psychological literature - Publishing - Handbooks, manuals, etc. --- Social science literature - Publishing - Handbooks, manuals, etc.
Choose an application
This is Volume 4 of the book series of the Body & Soul mathematics education reform program, and presents a unified new approach to computational simulation of turbulent flow starting from the general basis of calculus and linear algebra of Vol 1-3. The book puts the Body & Soul computational finite element methodology in the form of General Galerkin (G2), up against the challenge of computing turbulent solutions of the inviscid Euler equations and the Navier-Stokes equations with small viscosity. The book shows that direct application of G2 without any turbulence or wall modeling, allows reliable computation on a PC of mean value quantities of turbulent flow such as drag and lift. The power of G2 is demonstrated by resolving several classical scientific paradoxes of fluid flow and by uncovering secrets of flying, sailing, racing and ball sports. The book presents new aspects on both mathematics and computation of turbulent flow, and challenges established approaches. The book is directed to a wide audience of computational mathematicians fluid dynamicists and scientists. The G2 solver is available as part the free software project FEniCS at www.fenics.org. The book has a dedicated dynamic web page, including movies from a wide variety of simulations, at www.bodysoulmath.org. The book is focussed on incompressible flow, but opens to compressible flow continued in Vol 5 on thermodynamics. The authors are experts on computational mathematics and technology.
Mathematical analysis --- Hydromechanics --- Conception assistée par ordinateur --- Mathematics. --- Algebras, Linear. --- Differential equations. --- Differential equations, Partial. --- Calculus of variations. --- Numerical analysis. --- Mathematical optimization. --- Fluid mechanics. --- Continuum mechanics --- Optimization (Mathematics) --- Optimization techniques --- Optimization theory --- Systems optimization --- Maxima and minima --- Operations research --- Simulation methods --- System analysis --- Isoperimetrical problems --- Variations, Calculus of --- Partial differential equations --- 517.91 Differential equations --- Differential equations --- Linear algebra --- Algebra, Universal --- Generalized spaces --- Calculus of operations --- Line geometry --- Topology --- Math --- Science --- Differential geometry. Global analysis --- Fluid mechanics --- 517.91. --- Numerical solutions --- Computer mathematics. --- Physics. --- Continuum physics. --- Applied mathematics. --- Engineering mathematics. --- Computational Mathematics and Numerical Analysis. --- Engineering Fluid Dynamics. --- Classical Continuum Physics. --- Computational Science and Engineering. --- Mathematical Methods in Physics. --- Appl.Mathematics/Computational Methods of Engineering. --- Differential equations, Partial --- Mathematical models --- Numerical analysis --- Equations différentielles --- Equations aux dérivées partielles --- Modèles mathématiques --- Analyse numérique --- Data processing --- Computer-aided design --- Informatique --- EPUB-LIV-FT LIVMATHE SPRINGER-B --- Computer science --- Hydraulic engineering. --- Computer science. --- Mathematical physics. --- Classical and Continuum Physics. --- Mathematical and Computational Engineering. --- Physical mathematics --- Physics --- Informatics --- Engineering, Hydraulic --- Engineering --- Hydraulics --- Shore protection --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Engineering analysis --- Mathematics --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Classical field theory --- Continuum physics --- Algebras, Linear --- 517.91 --- Calculus of variations --- Mathematical optimization
Choose an application
R is rapidly growing in popularity as the environment of choice for data analysis and graphics both in academia and industry. Lattice brings the proven design of Trellis graphics (originally developed for S by William S. Cleveland and colleagues at Bell Labs) to R, considerably expanding its capabilities in the process. Lattice is a powerful and elegant high level data visualization system that is sufficient for most everyday graphics needs, yet flexible enough to be easily extended to handle demands of cutting edge research. Written by the author of the lattice system, this book describes it in considerable depth, beginning with the essentials and systematically delving into specific low levels details as necessary. No prior experience with lattice is required to read the book, although basic familiarity with R is assumed. The book contains close to150 figures produced with lattice. Many of the examples emphasize principles of good graphical design; almost all use real data sets that are publicly available in various R packages. All code and figures in the book are also available online, along with supplementary material covering more advanced topics. Deepayan Sarkar won the 2004 John M. Chambers Statistical Software Award for writing lattice while he was a graduate student in Statistics at the University of Wisconsin-Madison. He is currently doing postdoctoral research in the Computational Biology program at the Fred Hutchinson Cancer Research Center, a member of the R Core Team, and an active participant on the R mailing lists.
Computer graphics. --- Lattice theory. --- R (Computer program language) --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Digital techniques --- GNU-S (Computer program language) --- Domain-specific programming languages --- Lattices (Mathematics) --- Space lattice (Mathematics) --- Structural analysis (Mathematics) --- Algebra, Abstract --- Algebra, Boolean --- Group theory --- Set theory --- Topology --- Transformations (Mathematics) --- Crystallography, Mathematical --- R (Computer program language). --- Methoden en technieken --- meettheorie. --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical statistics --- Mathematical statistics. --- Visualization. --- Discrete Mathematics. --- Statistics and Computing/Statistics Programs. --- Computer Graphics. --- Visualisation --- Imagination --- Visual perception --- Imagery (Psychology) --- Mathematics --- Statistical inference --- Statistics, Mathematical --- Statistics --- Probabilities --- Sampling (Statistics) --- Statistical methods --- Discrete mathematics. --- Statistics . --- Mathematics. --- Math --- Science --- Statistical analysis --- Statistical data --- Statistical science --- Econometrics --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
Functional analysis --- Mathematics --- Mathématiques --- Tables --- 517.58 --- -#WSCH:AAS1 --- sommen --- integralen --- mathieu --- bessel --- euler --- Fourier --- Laplace transformatie --- matrices --- jacobi --- legendre --- Math --- Science --- Special functions. Hyperbolic functions. Euler integrals. Gamma functions. Elliptic functions and integrals. Bessel functions. Other cylindrical functions. Spherical functions. Legendre polynomials. Orthogonal polynomials. Chebyshev polynomials. --- Basic Sciences. Mathematics --- Tables. --- Numerical Mathematics --- 517.58 Special functions. Hyperbolic functions. Euler integrals. Gamma functions. Elliptic functions and integrals. Bessel functions. Other cylindrical functions. Spherical functions. Legendre polynomials. Orthogonal polynomials. Chebyshev polynomials. --- Numerical Mathematics. --- Mathématiques --- #WSCH:AAS1 --- Special functions. Hyperbolic functions. Euler integrals. Gamma functions. Elliptic functions and integrals. Bessel functions. Other cylindrical functions. Spherical functions. Legendre polynomials. Orthogonal polynomials. Chebyshev polynomials --- Mathematics - Tables
Listing 1 - 10 of 18 | << page >> |
Sort by
|